/LMAR=50/TMAR=50/RMAR=4095/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=0000056*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈βα≤␈↓ ∧z␈ε≡C␈α␈ONTE␈α↓N␈α␈TS
␈βαi␈↓ ↓H␈ελs␈↓ ↓W␈ελe␈↓ ↓e␈ελc␈↓ ↓s␈ελt␈↓ α␈ελi␈↓ α∞␈ελo␈↓ α≥␈ελn␈↓ αP␈εα.␈↓ αt␈εα.␈↓ β_␈εα.␈↓ β<␈εα.␈↓ β`␈εα.␈↓ ∧¬␈εα.␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
i␈ελp␈↓ 
{␈ελa␈↓ 
␈ελg␈↓ ≡␈ελe
␈ββε␈↓ ↓H␈∧βε↓Hαk
␈ββ
␈↓ 
i␈∧β
iαD
␈ββ1␈↓ ↓H␈ε∩1.1.␈α_O␈α␈VER␈α{VIEW␈↓ ∧¬␈ε∩.␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ ~␈ε∩2
␈ββ\␈↓ ↓Z␈εα1.1.1␈αAbstract␈↓ β`␈εα.␈↓ ∧¬␈εα.␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ ~␈εα2
␈β∧π␈↓ ↓Z␈εα1.1.2␈αFiv␈α␈e-page␈αSummary␈αof␈αthe␈αProject␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ ~␈εα3
␈β∧3␈↓ ~␈εα3
␈β∧8␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀Detour:␈α	A␈α↓nal␈α␈ysis␈α
of␈αa␈α
dis␈α␈co␈α␈ve␈α␈ry␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧↑␈↓ λ␈εα99
␈β∧c␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀What␈α
AM␈αdoes:␈α	Syn␈α␈these␈α␈s␈α
o␈α↓f␈α
disc␈α␈ov␈α␈e␈α␈rie␈α␈s␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬	␈↓ λ␈εα99
␈β¬∞␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈3.␈α∀Resul␈α␈ts␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬4␈↓ λ␈εα99
␈β¬9␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈2␈α↓.␈α␈4.␈α∀Concl␈α␈usions␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬←␈↓ ↓Z␈εα1.1.3␈αViewing␈αAM␈αas␈αsome␈αcommon␈αprocess␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βε␈↓ λ␈εα99
␈βε⊂␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈1.␈α∀AM␈αas␈α
Hil␈α␈l-cl␈α␈im␈α}bing␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βε6␈↓ λ␈εα99
␈βε;␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈2.␈α∀AM␈αas␈α
Heuri␈α␈stic␈α	Search␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βεa␈↓ λ␈εα99
␈βεf␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈3.␈α∀AM␈αas␈α
a␈αMathem␈α␈atic␈α␈ian␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπ␈↓ λ␈εα99
␈βπ⊃␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈3␈α↓.␈α␈4.␈α∀AM␈αas␈α
a␈αBoo␈α↓k␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπF␈↓ ↓H␈ε∩1.2.␈α_EXAMPLE:␈αDisco␈α␈v␈α␈ering␈αPrime␈αNum␈α␈bers␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈βπq␈↓ ↓Z␈εα1.2.1␈αDiscussion␈αof␈αthe␈αAM␈αProgram␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βλ≤␈↓ λ␈εα99
␈βλ!␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀Repre␈α␈sen␈α␈tation␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλG␈↓ λ␈εα99
␈βλL␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀Ag␈α↓e␈α␈nda␈αand␈α
Heuri␈α␈stic␈α␈s␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλs␈↓ ↓Z␈εα1.2.2␈αWhat␈α(not)␈αto␈αget␈αout␈αof␈αthis␈αexample␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β	≡␈↓ ↓Z␈εα1.2.3␈αDeciphering␈αthe␈αExample␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β	I␈↓ ↓Z␈εα1.2.4␈αThe␈αExample␈αItself␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β	t␈↓ ↓Z␈εα1.2.5␈αRecapping␈αthe␈αExample␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β
.␈↓ ↓H␈ε∩1.3.␈α_A␈α␈GENDA␈↓ β`␈ε∩.␈↓ ∧¬␈ε∩.␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β
Y␈↓ ↓Z␈εα1.3.1␈αAM's␈αSearch␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∧␈↓ ↓Z␈εα1.3.2␈αConstraining␈αAM's␈αSearch␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β/␈↓ ↓Z␈εα1.3.3␈αThe␈αAgenda␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β[␈↓ λ␈εα99
␈β`␈↓ ↓}␈ε⊃1.␈α␈3␈α↓.␈α␈3␈α↓.␈α␈1.␈α∀Wh␈α␈y␈α
an␈αAgenda?␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βε␈↓ λ␈εα99
␈β␈↓ ↓}␈ε⊃1.␈α␈3␈α↓.␈α␈3␈α↓.␈α␈2.␈α∀Detai␈α␈ls␈α
of␈αthe␈α	Ag␈α↓e␈α␈nda␈αsc␈α␈hem␈α␈e␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β?␈↓ ↓H␈ε∩1.4.␈α_HEURISTICS␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈βj␈↓ ↓Z␈εα1.4.1␈αSyn␈α␈tax␈αof␈αthe␈αHeuristics␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β
⊗␈↓ λ␈εα99
␈β
≠␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀Syn␈α␈ta␈α↓x␈α
of␈α
the␈α
L␈α↓e␈α␈ft-ha␈α↓nd␈α
Si␈α␈de␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
A␈↓ λ␈εα99
␈β
F␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀Syn␈α␈ta␈α↓x␈α
of␈α
the␈α
Righ␈α␈t-hand␈αSi␈α␈de␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
l␈↓ ↓Z␈εα1.4.2␈αHeuristics␈αSuggest␈αNew␈αTasks␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∞↔␈↓ λ␈εα99
␈β∞≤␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
\F␈α↓i␈α␈ll␈α
i␈α␈n␈α
Gene␈α␈rali␈α␈zations␈α
of␈αEq␈α↓ual␈α␈ity"␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞B␈↓ λ␈εα99
␈β∞G␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀The␈α
Ratings␈α
Game␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞n␈↓ ↓Z␈εα1.4.3␈αHeuristics␈αCreate␈αNew␈αConcepts␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∂→␈↓ λ␈εα99
␈β∂≡␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈3␈α↓.␈α␈1.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
Di␈α␈sco␈α␈ve␈α␈ring␈α
Pri␈α␈me␈α␈s␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∂D␈↓ λ␈εα99
␈β∂I␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈3␈α↓.␈α␈2.␈α∀The␈α
Theory␈α
o␈α↓f␈α
Cre␈α␈a␈α↓t␈α␈ing␈α
New␈α
Conce␈α␈pts␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∂o␈↓ λ␈εα99
␈β∂t␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈3␈α↓.␈α␈3.␈α∀Ano␈α↓the␈α␈r␈α
Ill␈α␈ustration:␈α
Squaring␈α
a␈αn␈α␈um␈α␈be␈α␈r␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊂~␈↓ ↓Z␈εα1.4.4␈αHeuristics␈αFill␈αin␈αEn␈α␈tries␈αfor␈αa␈αFacet␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β⊂F␈↓ λ␈εα99
␈β⊂K␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈1.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
\F␈α↓i␈α␈ll␈α
i␈α␈n␈α
E␈α↓xam␈α␈ples␈α
of␈α
Set-union"␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊂q␈↓ λ␈εα99
␈β⊂v␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈2.␈α∀Heuri␈α␈stic␈α␈s␈α
Propo␈α↓s␈α␈e␈α
New␈α
Conjec␈α␈tures␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊃≤␈↓ λ␈εα99
␈β⊃!␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈3.␈α∀An␈αIl␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
\A␈α↓l␈α␈l␈α
pri␈α␈me␈α␈s␈α
ex␈α␈ce␈α␈pt␈α
2␈αare␈α
odd"␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∪(

␈βα(␈↓ λ␈εα99
␈βα-␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈4␈α↓.␈α␈4.␈α∀Ano␈α↓the␈α␈r␈α
il␈α␈lustr␈α␈a␈α↓ti␈α␈on:␈α
Di␈α␈sco␈α␈ve␈α␈ring␈α
Unique␈α
Factoriz␈α␈a␈α↓t␈α␈ion␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βαS␈↓ ↓Z␈εα1.4.5␈αGathering␈αRelevan␈α␈t␈αHeuristics␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βα}␈↓ λ␈εα99
␈βββ␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈5␈α↓.␈α␈1.␈α∀Domain␈α
of␈αAppl␈α␈ic␈α␈a␈α↓bi␈α␈li␈α␈ty␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈ββ*␈↓ λ␈εα99
␈ββ/␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈5␈α↓.␈α␈2.␈α∀Rippl␈α␈ing␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈ββU␈↓ λ␈εα99
␈ββZ␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈5␈α↓.␈α␈3.␈α∀Order␈α␈ing␈α
the␈α
Rel␈α␈evan␈α␈t␈α
Heuri␈α␈stic␈α␈s␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧␈↓ ↓Z␈εα1.4.6␈αAM's␈αStarting␈αHeuristics␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∧+␈↓ λ␈εα99
␈β∧0␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈6␈α↓.␈α␈1.␈α∀Heuri␈α␈stic␈α␈s␈α
Grouped␈α
by␈α
the␈α
Kno␈α␈wle␈α␈dg␈α↓e␈α
The␈α␈y␈α
E␈α↓m␈α␈body␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧V␈↓ λ␈εα99
␈β∧[␈↓ ↓}␈ε⊃1.␈α␈4␈α↓.␈α␈6␈α↓.␈α␈2.␈α∀Heuri␈α␈stic␈α␈s␈α
Grouped␈α
by␈α
How␈α
Spec␈α␈i|c␈α
The␈α␈y␈αAre␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬≠␈↓ ↓H␈ε∩1.5.␈α_CONCEPTS␈↓ ∧¬␈ε∩.␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β¬F␈↓ ↓Z␈εα1.5.1␈αMotivation␈αand␈αOv␈α␈erview␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β¬q␈↓ λ␈εα99
␈β¬v␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀A␈αG␈α␈li␈α␈mpse␈α
of␈α
a␈αTypi␈α␈cal␈α
Conce␈α␈pt␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βε≤␈↓ λ␈εα99
␈βε!␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀The␈α
mai␈α␈n␈αc␈α␈o␈α↓ns␈α␈tra␈α↓i␈α␈n␈α␈t:␈α
Fix␈α␈e␈α␈d␈αse␈α␈t␈α
o␈α↓f␈α
facets␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βεH␈↓ λ␈εα99
␈βεM␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈1␈α↓.␈α␈3.␈α∀B␈α↓EINGs␈α
Re␈α␈prese␈α␈ntati␈α␈o␈α↓n␈α
of␈α
Knowl␈α␈edge␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βεs␈↓ ↓Z␈εα1.5.2␈αFacets␈↓ β<␈εα.␈↓ β`␈εα.␈↓ ∧¬␈εα.␈↓ ∧)␈εα.␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βπ≡␈↓ λ␈εα99
␈βπ#␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀Gene␈α␈rali␈α␈zations/Spec␈α␈iali␈α␈zations␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπI␈↓ λ␈εα99
␈βπN␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀E␈α↓xam␈α␈ples␈α␈/␈α↓Isa's␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπt␈↓ λ␈εα99
␈βπy␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈3.␈α∀In-␈α↓D␈α␈o␈α↓m␈α␈a␈α↓i␈α␈n-o␈α↓f/In-Ra␈α↓nge-of␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλ ␈↓ λ␈εα99
␈βλ%␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈4.␈α∀Vie␈α␈w␈α↓s␈↓ βa␈ε⊃.␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλK␈↓ λ␈εα99
␈βλP␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈5.␈α∀Int␈α␈uiti␈α␈o␈α↓ns␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλv␈↓ λ␈εα99
␈βλ{␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈6.␈α∀Ana␈α↓l␈α␈og␈α↓i␈α␈es␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β	!␈↓ λ␈εα99
␈β	&␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈7.␈α∀Conj␈α↓e␈α␈c'␈α␈s␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β	L␈↓ λ␈εα99
␈β	Q␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈8.␈α∀De|ni␈α␈tions␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β	x␈↓ λ␈εα99
␈β	⎇␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈9.␈α∀Algorithm␈α␈s␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
#␈↓ λ␈εα99
␈β
(␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈10␈α↓.␈α∀D␈α␈o␈α↓m␈α␈ain/Rang␈α↓e␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
N␈↓ λ␈εα99
␈β
S␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈11␈α↓.␈α∀W␈α␈orth␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
y␈↓ λ␈εα99
␈β
}␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈12␈α↓.␈α∀In␈α␈te␈α␈rest␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β$␈↓ λ␈εα99
␈β)␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈13␈α↓.␈α∀Suggest␈↓ ∧¬␈ε⊃.␈↓ ∧)␈ε⊃.␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βP␈↓ λ␈εα99
␈βU␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈14␈α↓.␈α∀Fi␈α␈ll␈α␈/␈α↓Che␈α␈ck␈↓ ∧M␈ε⊃.␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β{␈↓ λ␈εα99
␈β␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈2␈α↓.␈α␈15␈α↓.␈α∀O␈α␈ther␈α
Fa␈α↓c␈α␈ets␈α
whi␈α␈ch␈α
w␈α␈ere␈α
Consi␈α␈dere␈α␈d␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β&␈↓ ↓Z␈εα1.5.3␈αAM's␈αStarting␈αConcepts␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βQ␈↓ λ␈εα99
␈βV␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈3␈α↓.␈α␈1.␈α∀Diagram␈α
of␈αIni␈α␈tial␈α
Conce␈α␈pts␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β|␈↓ λ␈εα99
␈β
↓␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈3␈α↓.␈α␈2.␈α∀Summ␈α␈a␈α↓r␈α␈y␈αof␈α
I␈α↓ni␈α␈ti␈α␈a␈α↓l␈α	Co␈α↓nc␈α␈epts␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
(␈↓ λ␈εα99
␈β
-␈↓ ↓}␈ε⊃1.␈α␈5␈α↓.␈α␈3␈α↓.␈α␈3.␈α∀Rationale␈α
be␈α␈hind␈α
Choic␈α␈e␈α
of␈αConc␈α␈epts␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
l␈↓ ↓H␈ε∩1.6.␈α_RESUL␈α⎇TS␈↓ β`␈ε∩.␈↓ ∧¬␈ε∩.␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β∞↔␈↓ ↓Z␈εα1.6.1␈αWhat␈αAM␈αDid␈↓ ∧M␈εα.␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∞B␈↓ λ␈εα99
␈β∞G␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀L␈α↓i␈α␈near␈α
Ta␈α↓s␈α␈k-␈α↓by-task␈α
Summ␈α␈ary␈αof␈α
a␈αGood␈α
Run␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞n␈↓ λ␈εα99
␈β∞s␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀Two-Di␈α␈me␈α␈nsional␈α
B␈α↓e␈α␈havior␈α
Graph␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∂→␈↓ λ␈εα99
␈β∂≡␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈1␈α↓.␈α␈3.␈α∀AM␈αas␈α
a␈αC␈α␈o␈α↓m␈α␈puter␈α
Pr␈α␈o␈α↓gram␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∂D␈↓ ↓Z␈εα1.6.2␈αExperimen␈α␈ts␈αwith␈αAM␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∂o␈↓ λ␈εα99
␈β∂t␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀Must␈α
the␈α
Worth␈α
n␈α␈um␈α␈be␈α␈rs␈α
be␈α
|nel␈α␈y␈αt␈α␈uned?␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊂~␈↓ λ␈εα99
␈β⊂∨␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀How␈α
|nel␈α␈y␈α
tuned␈α
is␈α
the␈α	Ag␈α↓e␈α␈nda␈α↓?␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊂F␈↓ λ␈εα99
␈β⊂K␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈2␈α↓.␈α␈3.␈α∀How␈α
valuable␈α	is␈α
tacki␈α␈ng␈αre␈α␈a␈α↓sons␈α
on␈α␈to␈αe␈α␈a␈α↓c␈α␈h␈αt␈α␈a␈α↓sk?␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊂q␈↓ λ␈εα99
␈β⊂v␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈2␈α↓.␈α␈4.␈α∀What␈α
if␈α
ce␈α␈rtain␈α
conce␈α␈pts␈α
a␈α↓r␈α␈e␈α
el␈α␈im␈α␈inated/added?␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β⊃≤␈↓ λ␈εα99
␈β⊃!␈↓ ↓}␈ε⊃1.␈α␈6␈α↓.␈α␈2␈α↓.␈α␈5.␈α∀Can␈αAM␈α
w␈α␈o␈α↓r␈α␈k␈αi␈α␈n␈α
a␈αne␈α␈w␈αdomai␈α␈n:␈α
Pl␈α␈a␈α↓ne␈α	Geome␈α␈try?␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∪(

␈βα(␈↓ ↓H␈ε∩1.7.␈α_EV␈α{AL␈α␈UA␈α⎇TING␈αAM␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈βαS␈↓ ↓Z␈εα1.7.1␈αJudging␈αPerformance␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βα}␈↓ λ␈εα99
␈βββ␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀AM␈α↓'␈α␈s␈α
Ulti␈α␈mate␈α
D␈α␈isc␈α␈ov␈α␈eri␈α␈es␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈ββ*␈↓ λ␈εα99
␈ββ/␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀The␈α
Ma␈α↓gni␈α␈tude␈α
of␈αAM's␈α
P␈α␈ro␈α↓gre␈α␈ss␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈ββU␈↓ λ␈εα99
␈ββZ␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈3.␈α∀The␈α
Quali␈α␈ty␈α
o␈α↓f␈α
AM's␈α
Route␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧␈↓ λ␈εα99
␈β∧¬␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈4.␈α∀The␈α
Character␈α
of␈α
the␈α
User-Syste␈α␈m␈α
In␈α␈terac␈α␈tions␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧+␈↓ λ␈εα99
␈β∧0␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈5.␈α∀AM␈α↓'␈α␈s␈α
In␈α␈tuiti␈α␈v␈α␈e␈α
Po␈α␈we␈α␈rs␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∧V␈↓ λ␈εα99
␈β∧[␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈6.␈α∀E␈α↓xpe␈α␈rim␈α␈en␈α␈ts␈α
on␈α
AM␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬α␈↓ λ␈εα99
␈β¬π␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈7.␈α∀How␈α
to␈α
Perform␈α
Experi␈α␈me␈α␈n␈α␈ts␈α
o␈α↓n␈α
AM␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬-␈↓ λ␈εα99
␈β¬2␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈8.␈α∀F␈α↓utur␈α␈e␈α
Impl␈α␈icati␈α␈o␈α↓ns␈α
of␈α
this␈α
Pr␈α␈o␈α↓jec␈α␈t␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β¬X␈↓ λ␈εα99
␈β¬]␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈9.␈α∀Open␈α
Pr␈α␈o␈α↓bl␈α␈em␈α␈s:␈α
Sugg␈α↓e␈α␈sti␈α␈o␈α↓ns␈α
for␈α
F␈α↓uture␈α	Rese␈α␈a␈α↓rc␈α␈h␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βεβ␈↓ λ␈εα99
␈βελ␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈1␈α↓.␈α␈10␈α↓.␈α∀C␈α␈o␈α↓m␈α␈parison␈α
to␈αO␈α␈ther␈α
Syste␈α␈ms␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βε.␈↓ ↓Z␈εα1.7.2␈αCapabilities␈αand␈αLimitations␈αof␈αAM␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βεZ␈↓ λ␈εα99
␈βε←␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀Curre␈α␈nt␈α
Abi␈α␈li␈α␈tie␈α␈s␈↓ ∧q␈ε⊃.␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπ¬␈↓ λ␈εα99
␈βπ
␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀Curre␈α␈nt␈α
Lim␈α␈it␈α␈a␈α↓ti␈α␈ons␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπ0␈↓ λ␈εα99
␈βπ5␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈2␈α↓.␈α␈3.␈α∀L␈α↓i␈α␈mi␈α␈tations␈α
of␈αthe␈α
Agenda␈α
sche␈α␈me␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βπ[␈↓ λ␈εα99
␈βπ`␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈2␈α↓.␈α␈4.␈α∀L␈α↓i␈α␈mi␈α␈ting␈α
Assum␈α␈ptions␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλε␈↓ λ␈εα99
␈βλ␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈2␈α↓.␈α␈5.␈α∀Choic␈α␈e␈α
o␈α↓f␈α
Domai␈α␈n␈↓ ¬∃␈ε⊃.␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλ2␈↓ λ␈εα99
␈βλ7␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈2␈α↓.␈α␈6.␈α∀L␈α↓i␈α␈mi␈α␈tations␈α
of␈αthe␈α
Model␈α	o␈α↓f␈α
Ma␈α↓t␈α␈h␈αRe␈α␈searc␈α␈h␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βλ]␈↓ λ␈εα99
␈βλb␈↓ ↓}␈ε⊃1.␈α␈7␈α↓.␈α␈2␈α↓.␈α␈7.␈α∀Ulti␈α␈mate␈α
po␈α␈w␈α␈ers␈α
and␈αw␈α␈e␈α␈a␈α↓kne␈α␈sses␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β	λ␈↓ ↓Z␈εα1.7.3␈αFinal␈αConclusions␈↓ ∧q␈εα.␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β	7␈↓ ↓H␈ε∩Appendix␈α1.1.␈α_CONCEPTS␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β	b␈↓ ↓Z␈εα1.1.1␈αLISP␈αRepresen␈α␈tation␈↓ ¬∃␈εα.␈↓ ¬9␈εα.␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β

␈↓ λ␈εα99
␈β
∩␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈1␈α↓.␈α␈1.␈α∀The␈α
`C␈α␈o␈α↓m␈α␈po␈α↓s␈α␈e'␈α
Conc␈α␈ept␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
8␈↓ λ␈εα99
␈β
=␈↓ ↓}␈ε⊃1.␈α␈1␈α↓.␈α␈1␈α↓.␈α␈2.␈α∀The␈α
`O␈α␈sets'␈α	Co␈α↓nc␈α␈ept␈↓ ¬9␈ε⊃.␈↓ ¬]␈ε⊃.␈↓ ε↓␈ε⊃.␈↓ ε%␈ε⊃.␈↓ εI␈ε⊃.␈↓ εm␈ε⊃.␈↓ π⊃␈ε⊃.␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
d␈↓ ↓Z␈εα1.1.2␈αConcepts␈αcreated␈αby␈αAM␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∂␈↓ ↓Z␈εα1.1.3␈αMaximally-Divisible␈αNos␈↓ ¬]␈εα.␈↓ ε↓␈εα.␈↓ ε%␈εα.␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β>␈↓ ↓H␈ε∩Appendix␈α1.2.␈α_HEURISTICS␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈βi␈↓ ↓Z␈εα1.2.1␈αHeuristics␈αfor␈αdealing␈αwith␈αAn␈α␈ything␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∀␈↓ ↓Z␈εα1.2.2␈αHeuristics␈αfor␈αdealing␈αwith␈αAn␈α␈y-concept␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β?␈↓ λ␈εα99
␈βD␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈1.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
an␈α␈y␈αface␈α␈t␈α
o␈α↓f␈α
An␈α␈y-␈α↓c␈α␈oncept␈↓ π5␈ε⊃.␈↓ πY␈ε⊃.␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈βj␈↓ λ␈εα99
␈βo␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈2.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
the␈α
Exampl␈α␈es␈α
fa␈α↓c␈α␈ets␈α
of␈α
A␈α↓n␈α␈y-c␈α␈o␈α↓nc␈α␈ept␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
⊗␈↓ λ␈εα99
␈β
≠␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈3.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
the␈α
C␈α␈o␈α↓njec␈α␈s␈α
fa␈α↓c␈α␈et␈α
of␈αAn␈α␈y-conce␈α␈pt␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
A␈↓ λ␈εα99
␈β
F␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈4.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
the␈α
Analogie␈α␈s␈α
f␈α↓ac␈α␈et␈α
of␈αAn␈α␈y-conce␈α␈pt␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β
l␈↓ λ␈εα99
␈β
q␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈5.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
the␈α
G␈α␈enl/Spe␈α␈c␈α
fa␈α↓c␈α␈ets␈α
of␈αAn␈α␈y-conce␈α␈pt␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞↔␈↓ λ␈εα99
␈β∞≤␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈6.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
the␈α
Vi␈α␈ew␈α
fa␈α↓c␈α␈et␈α
of␈αAn␈α␈y-conce␈α␈pt␈↓ π⎇␈ε⊃.␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞B␈↓ λ␈εα99
␈β∞G␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈7.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
the␈α
In-dom/ran-␈α↓of␈α
fa␈α↓c␈α␈ets␈α
of␈αAn␈α␈y-conce␈α␈pt␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∞n␈↓ λ␈εα99
␈β∞s␈↓ ↓}␈ε⊃1.␈α␈2␈α↓.␈α␈2␈α↓.␈α␈8.␈α∀Heuri␈α␈stic␈α␈s␈α
f␈α↓or␈α
the␈α
D␈α␈e|nit␈α␈ion␈α
f␈α↓ace␈α␈t␈α
o␈α↓f␈α
An␈α␈y-conce␈α␈pt␈↓ λ!␈ε⊃.␈↓ λE␈ε⊃.␈↓ λi␈ε⊃.␈↓ 	
␈ε⊃.␈↓ 	1␈ε⊃.␈↓ 	U␈ε⊃.␈↓ 	y␈ε⊃.␈↓ 
≥␈ε⊃.␈↓ 
A␈ε⊃.␈↓ 
e␈ε⊃.
␈β∂→␈↓ ↓Z␈εα1.2.3␈αHeuristics␈αfor␈αdealing␈αwith␈αan␈α␈y␈αActiv␈α␈e␈αconcept␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∂D␈↓ ↓Z␈εα1.2.4␈αHeuristics␈αfor␈αdealing␈αwith␈αan␈α␈y␈αPredicate␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∂o␈↓ ↓Z␈εα1.2.5␈αHeuristics␈αfor␈αdealing␈αwith␈αan␈α␈y␈αOperation␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β⊂~␈↓ ↓Z␈εα1.2.6␈αHeuristics␈αfor␈αdealing␈αwith␈αan␈α␈y␈αComposition␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β⊂F␈↓ ↓Z␈εα1.2.7␈αHeuristics␈αfor␈αdealing␈αwith␈αan␈α␈y␈αInsertions␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β⊂q␈↓ ↓Z␈εα1.2.8␈αHeuristics␈αfor␈αdealing␈αwith␈αthe␈αoperation␈αCoalesce␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β⊃≤␈↓ ↓Z␈εα1.2.9␈αHeuristics␈αfor␈αdealing␈αwith␈αthe␈αoperation␈αCanonize␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∪(

␈βα(␈↓ ↓Z␈εα1.2.10␈αHeuristics␈αfor␈αdealing␈αwith␈αthe␈αoperation␈αSubstitute␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βαS␈↓ ↓Z␈εα1.2.11␈αHeuristics␈αfor␈αdealing␈αwith␈αthe␈αoperation␈αRestrict␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈βα}␈↓ ↓Z␈εα1.2.12␈αHeuristics␈αfor␈αdealing␈αwith␈αthe␈αoperation␈αIn␈α␈v␈α␈ert␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈ββ*␈↓ ↓Z␈εα1.2.13␈αHeuristics␈αfor␈αdealing␈αwith␈αLogical␈αcom␈α␈binations␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈ββU␈↓ ↓Z␈εα1.2.14␈αHeuristics␈αfor␈αdealing␈αwith␈αStructures␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∧␈↓ ↓Z␈εα1.2.15␈αHeuristics␈αfor␈αdealing␈αwith␈αOrdered-structures␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∧+␈↓ ↓Z␈εα1.2.16␈αHeuristics␈αfor␈αdealing␈αwith␈αUnordered-structures␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β∧V␈↓ ↓Z␈εα1.2.17␈αHeuristics␈αfor␈αdealing␈αwith␈αMultiple-eles-structures␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β¬α␈↓ ↓Z␈εα1.2.18␈αHeuristics␈αfor␈αdealing␈αwith␈αSets␈↓ εI␈εα.␈↓ εm␈εα.␈↓ π⊃␈εα.␈↓ π5␈εα.␈↓ πY␈εα.␈↓ π⎇␈εα.␈↓ λ!␈εα.␈↓ λE␈εα.␈↓ λi␈εα.␈↓ 	
␈εα.␈↓ 	1␈εα.␈↓ 	U␈εα.␈↓ 	y␈εα.␈↓ 
≥␈εα.␈↓ 
A␈εα.␈↓ 
e␈εα.␈↓ λ␈εα99
␈β¬8␈↓ ↓H␈ε∩Appendix␈α1.3.␈α_TRA␈α␈CE␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β¬n␈↓ ↓H␈ε∩Appendix␈α1.4.␈α_BIBLIOGRAPHY␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈βε$␈↓ ↓H␈ε∩Ackno␈α␈wledgemen␈α␈ts␈↓ ∧)␈ε∩.␈↓ ∧M␈ε∩.␈↓ ∧q␈ε∩.␈↓ ¬∃␈ε∩.␈↓ ¬9␈ε∩.␈↓ ¬]␈ε∩.␈↓ ε↓␈ε∩.␈↓ ε%␈ε∩.␈↓ εI␈ε∩.␈↓ εm␈ε∩.␈↓ π⊃␈ε∩.␈↓ π5␈ε∩.␈↓ πY␈ε∩.␈↓ π⎇␈ε∩.␈↓ λ!␈ε∩.␈↓ λE␈ε∩.␈↓ λi␈ε∩.␈↓ 	
␈ε∩.␈↓ 	1␈ε∩.␈↓ 	U␈ε∩.␈↓ 	y␈ε∩.␈↓ 
≥␈ε∩.␈↓ 
A␈ε∩.␈↓ 
e␈ε∩.␈↓ λ␈ε∩99
␈β∪(/FONT#2=cmr10[XGP,SYS]='()-.0123456789ACDEFGHIJLMNOPRSTUVWabcdefghijklmnoprstuvwxyzz/FONT#8=cmi10[XGP,SYS]=aceginopstt/FONT#17=cms8[XGP,SYS]="'-./0123456789:?ABCDEFGHIKLMNOPQRSTUVW\`abcdefghijklmnopqrstuvwxyz||/FONT#18=cmb10[XGP,SYS]=.12345679:ABCDEGHILMNOPRSTUVWXYbcdegiklmnoprstuvwxx/FONT#30=lena[am,dbl]=CENOSTT